<div>
Specify extra repositories that will be fetched. You can use this to add references to all the git repos of all
your team members, and the Jenkins build will fetch from them as well as from the 'central' repo.
</div>
